Định lý này được khám phá lần đầu bởi Bhaskara I (600 - 680), sau được giải thích bởi Ibn al-Haytham (thường được gọi là Alhazen Thời Trung cổ) vào khoảng năm 1000, nhưng được đặt tên theo John Wilson (1741 - 1793), người đã phát biểu nó vào thế kỷ XVIII.[1] Lagrange là người đầu tiên đưa ra chứng minh cho định lý này năm 1773. Có bằng chứng cho thấy Leibniz cũng đã biết về định lý này, nhưng ông đã không công bố.